Non-Redundant Implicational Base of Many-Valued Context Using SAT

Some attribute implications in an implicational base of a derived context many-valued can be inferred from some other together with its scales. The scales are interpretation values the therefore they prior or existing knowledge. In knowledge discovery, such redundant and cannot considered as new Therefore should eliminated. This paper shows that redundancy problem exists formalizes model to check redundancy.